Dagand, E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the ACM SIGOPS 22nd symposium - Big Sky, Montana, USA (2009.10.11-2009.10.14)] Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles - SOSP '09 - The multikernel

Baumann, Andrew, Barham, Paul, Dagand, Pierre-Evariste, Harris, Tim, Isaacs, Rebecca, Peter, Simon, Roscoe, Timothy, Schüpbach, Adrian, Singhania, Akhilesh

Year:

2009

Language:

english

File:

PDF, 323 KB

english, 2009

2

The essence of ornaments

DAGAND, PIERRE-EVARISTE

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 264 KB

english, 2017

3

Foundations of dependent interoperability

DAGAND, PIERRE-ÉVARISTE, TABAREAU, NICOLAS, TANTER, ÉRIC

Journal:

Journal of Functional Programming

Year:

2018

Language:

english

File:

PDF, 443 KB

english, 2018

4

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - The gentle art of levitation

Chapman, James, Dagand, Pierre-Évariste, McBride, Conor, Morris, Peter

Year:

2010

Language:

english

File:

PDF, 515 KB

english, 2010

5

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - Coq

Kennedy, Andrew, Benton, Nick, Jensen, Jonas B., Dagand, Pierre-Evariste

Year:

2013

Language:

english

File:

PDF, 1.36 MB

english, 2013

6

[ACM Press the 10th ACM SIGPLAN workshop - Gothenburg, Sweden (2014.08.31-2014.08.31)] Proceedings of the 10th ACM SIGPLAN workshop on Generic programming - WGP '14 - Ornaments in practice

Williams, Thomas, Dagand, Pierre-Évariste, Rémy, Didier

Year:

2014

Language:

english

File:

PDF, 567 KB

english, 2014

7

Prediction of alternative isoforms from exon expression levels in RNA-Seq experiments

Richard, H., Schulz, M. H., Sultan, M., Nurnberger, A., Schrinner, S., Balzereit, D., Dagand, E., Rasche, A., Lehrach, H., Vingron, M., Haas, S. A., Yaspo, M.-L.

Journal:

Nucleic Acids Research

Year:

2010

Language:

english

File:

PDF, 7.33 MB

english, 2010

8

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - A Categorical Treatment of Ornaments

Dagand, Pierre-Evariste, McBride, Conor

Year:

2013

Language:

english

File:

PDF, 299 KB

english, 2013

9

TLR2 Mediates Neuroinflammation and Neuronal Damage

Hoffmann, O., Braun, J. S., Becker, D., Halle, A., Freyer, D., Dagand, E., Lehnardt, S., Weber, J. R.

Journal:

The Journal of Immunology

Year:

2007

Language:

english

File:

PDF, 437 KB

english, 2007

10

Transporting functions across ornaments

DAGAND, PIERRE-ÉVARISTE, McBRIDE, CONOR

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 1.26 MB

english, 2014

11

Interplay of Pneumococcal Hydrogen Peroxide and Host-Derived Nitric Oxide

Hoffmann, O., Zweigner, J., Smith, S. H., Freyer, D., Mahrhofer, C., Dagand, E., Tuomanen, E. I., Weber, J. R.

Journal:

Infection and Immunity

Year:

2006

Language:

english

File:

PDF, 865 KB

english, 2006

12

Pneumolysin Causes Neuronal Cell Death through Mitochondrial Damage

Braun, J. S., Hoffmann, O., Schickhaus, M., Freyer, D., Dagand, E., Bermpohl, D., Mitchell, T. J., Bechmann, I., Weber, J. R.

Journal:

Infection and Immunity

Year:

2007

Language:

english

File:

PDF, 637 KB

english, 2007

13

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Transporting functions across ornaments

Dagand, Pierre-Evariste, McBride, Conor

Year:

2012

Language:

english

File:

PDF, 706 KB

english, 2012

14

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Fully abstract compilation to JavaScript

Fournet, Cedric, Swamy, Nikhil, Chen, Juan, Dagand, Pierre-Evariste, Strub, Pierre-Yves, Livshits, Benjamin

Year:

2013

Language:

english

File:

PDF, 534 KB

english, 2013

15

Transporting functions across ornaments

Dagand, Pierre-Evariste, McBride, Conor

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 706 KB

english, 2012

16

[ACM Press the 21st ACM SIGPLAN International Conference - Nara, Japan (2016.09.18-2016.09.24)] Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 - Partial type equivalences for verified dependent interoperability

Dagand, Pierre-Evariste, Tabareau, Nicolas, Tanter, Éric

Year:

2016

Language:

english

File:

PDF, 423 KB

english, 2016

17

Collaborative trial to assess the performance of digital PCR in the field of GMO analysis using an artificial sample material

Köppel, René, Peterseil, Verena, Dagand, Emilie, Schütz, Ekkehard, Kolberg, Nina, Milavec, Mojca, Moor, Dominik

Journal:

European Food Research and Technology

Year:

2017

Language:

english

File:

PDF, 523 KB

english, 2017

18

Fully abstract compilation to JavaScript

Fournet, Cedric, Swamy, Nikhil, Chen, Juan, Dagand, Pierre-Evariste, Strub, Pierre-Yves, Livshits, Benjamin

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 534 KB

english, 2013

19

[ACM Press the 2nd ACM SIGPLAN International Workshop - Oxford, UK (2017.09.03-2017.09.03)] Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2017 - Type-directed diffing of structured data

Miraldo, Victor Cacciari, Dagand, Pierre-Évariste, Swierstra, Wouter

Year:

2017

Language:

english

File:

PDF, 810 KB

english, 2017

20

[ACM Press the 2018 4th Workshop - Vienna, Austria (2018.02.24-2018.02.28)] Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing - WPMVP'18 - Usuba

Mercadier, Darius, Dagand, Pierre-Évariste, Lacassagne, Lionel, Muller, Gilles

Year:

2018

Language:

english

File:

PDF, 634 KB

english, 2018

21

Detection and Identification of Genome Editing in Plants: Challenges and Opportunities

Grohmann, Lutz, Keilwagen, Jens, Duensing, Nina, Dagand, Emilie, Hartung, Frank, Wilhelm, Ralf, Bendiek, Joachim, Sprink, Thorben

Journal:

Frontiers in Plant Science

Year:

2019

File:

PDF, 566 KB

2019

22

Detection and Identification of Genome Editing in Plants: Challenges and Opportunities

Grohmann, Lutz, Keilwagen, Jens, Duensing, Nina, Dagand, Emilie, Hartung, Frank, Wilhelm, Ralf, Bendiek, Joachim, Sprink, Thorben

Journal:

Frontiers in Plant Science

Year:

2019

Language:

english

File:

PDF, 566 KB

english, 2019

23

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Usuba: high-throughput and constant-time ciphers, by construction

Mercadier, Darius, Dagand, Pierre-Évariste

Year:

2019

Language:

english

File:

PDF, 422 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски